1. Logic Colloquium '98 : proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Prague, Czech Republic, August 9-15, 1998
پدیدآورنده : edited by Samuel R. Buss, Petr Hajek, Pavel Pudlak
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Logic, Symbolic and mathematical
رده :
QA
9
.
A1L44
Vol
.
13
2. Metamathematics of Fuzzy Logic
پدیدآورنده : by Petr Hájek.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Logic, Symbolic and mathematical.,Logic.,Philosophy (General).
3. The theory of semisets
پدیدآورنده : Vopeenka, Petr., ]By[ Petr Vopeenka and Petr Hajek
کتابخانه: Library and Documentation Center of Kurdistan University (Kurdistan)
موضوع : ، Set theory
رده :
QA
248
.
V68
